- logical description
- мат.логическое описание
English-Russian scientific dictionary. 2008.
logical description
Смотреть что такое "logical description" в других словарях:
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Description — For other uses, see Description (disambiguation). Description is one of four rhetorical modes (also known as modes of discourse), along with exposition, argumentation, and narration. Each of the rhetorical modes is present in a variety of forms… … Wikipedia
Logical framework approach — This article is about the management tool. For the automated theorem proving approach, see logical framework. The Logical Framework Approach (LFA) is a management tool mainly used in the design, monitoring and evaluation of international… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical Disk Manager — The Logical Disk Manager (diskmgmt.msc) is an implementation of a logical volume manager for Microsoft Windows NT, developed by Microsoft and Veritas Software. It was introduced with the Windows 2000 operating system, and is supported in Windows… … Wikipedia
Logical Sensory Extrovert — The Logical Sensory Extrovert, LSE, ESTj, the Director, the Administrator, Sherlock Holmes, Stirlitz, or types. The Logical Sensory Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted… … Wikipedia
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Definite description — A definite description is a denoting phrase in the form of the X where X is a noun phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object. For example: the first person in space and the… … Wikipedia
X logical font description — (XLFD) is a font standard used by the X Window System. It is intended to support:* unique, descriptive font names that support simple pattern matching * multiple font vendors, arbitrary character sets, and encodings * naming and instancing of… … Wikipedia
